Maximal elements under the three partial orders
نویسندگان
چکیده
منابع مشابه
Alpha-Beta Pruning Under Partial Orders
Alpha-beta pruning is the algorithm of choice for searching game trees with position values taken from a totally ordered set, such as the set of real numbers. We generalize to game trees with position values taken from a partially ordered set, and prove necessary and sufficient conditions for alpha-beta pruning to be valid. Specifically, we show that shallow pruning is possible if and only if t...
متن کاملMaximal Chains of Isomorphic Suborders of Countable Ultrahomogeneous Partial Orders
We investigate the poset 〈P(X) ∪ {∅},⊂〉, where X is a countable ultrahomogeneous partial order and P(X) the set of suborders of X isomorphic to X. For X different from (resp. equal to) a countable antichain the order types of maximal chains in 〈P(X) ∪ {∅},⊂〉 are characterized as the order types of compact (resp. compact and nowhere dense) sets of reals having the minimum non-isolated. 2000 Math...
متن کاملOrders on Partial Partitions and Maximal Partitioning of Sets
(*) This work received funding from the Agence Nationale de la Recherche through contract ANR-2010-BLAN-0205-01 " KIDICO " .
متن کاملElements of an automata theory over partial orders
A model of nondeterministic nite automaton over ((nite) partial orders is introduced. It captures existential monadic second-order logic in expressive power and generalizes classical word automata and tree automata. Special forms, such as deterministic automata, are discussed, and logical and algorithmic properties are analyzed, like closure under complement and decid-ability of the nonemptines...
متن کاملMaximal Orders in Semigroups1
Inspired by the ring theory concepts of orders and classical rings of quotients, Fountain and Petrich introduced the notion of a completely 0-simple semigroup of quotients in [19]. This was generalised to a much wider class of semigroups by Gould in [20]. The notion extends the well known concept of group of quotients [8]. To give the definition we first have to explain what is meant by a squar...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Linear Algebra and its Applications
سال: 1992
ISSN: 0024-3795
DOI: 10.1016/0024-3795(92)90301-p